Deduktionssystem

Игры ⚽ Нужен реферат?

Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… … Deutsch Wikipedia
Christian Pape — ist ein deutscher Informatiker. Er ist seit 2005 Professor an der Hochschule Karlsruhe. Inhaltsverzeichnis 1 Leben 2 Veröffentlichungen 3 Einzelnachweise 4 Weblinks … Deutsch Wikipedia
Relevanztheorie — Die Relevanztheorie ist eine sprachwissenschaftlich geprägte Kognitionstheorie, die von Dan Sperber und Deirdre Wilson im Jahre 1986 entwickelt wurde[1]. Sie baut auf der Konversationsmaxime der Relevanz von Paul Grice auf, verzichtet jedoch auf… … Deutsch Wikipedia

Словари и энциклопедии на Академике